Achievements in an Event Semantics

An Event-Based Semantics for Transactions

In this paper we investigate the notion of transaction in object-oriented speciication. Transactions are a suitable concept to cover diierent aspects that arise in a variety of contexts. For example, in reenement theory a transaction may be understood as the reenement of actions, in database theory it may be understood as an abstraction from sequences of statements , or in business process mode...

An Event Based Semantics of P Systems

Membrane systems have many similarities with classical concurrency models. In particular notions like parallelism, causality and concurrency seem to belong to membrane computing, though they are not yet regarded as central or cornerstone notions. Recently the interest in comparing membrane systems and other models for concurrency has grown. In this paper we propose a translation of membrane sys...

An algebraic semantics of event-based architectures

An event semantics for the Theta System

The theory of the Theta System (Reinhart 2000, 2002) gives a compositional account of verbal argument structure and argument structure alternations. Although it makes concrete predictions with respect to argument projection and syntax, Reinhart has not provided a definition of the semantics, and semantic operations, associated with the system’s primitive elements and operators. In this paper I ...

Event in Compositional Dynamic Semantics

We present a framework which constructs an event-style discourse semantics. The discourse dynamics are encoded in continuation semantics and various rhetorical relations are embedded in the resulting interpretation of the framework. We assume discourse and sentence are distinct semantic objects, that play different roles in meaning evaluation. Moreover, two sets of composition functions, for ha...